| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
|
109076
|
Funktionale Programmierung
-
Smolka
|
Proseminar
|
|
|
110364
|
Hacking
-
Bugiel
,
Sorge
,
Stock
|
Proseminar
|
|
|
110365
|
Selected Topics of Mobile Security
-
Bugiel
|
Proseminar
|
|
|
110366
|
Formal Verification of Security Protocols
-
Finkbeiner
,
Jacobs
|
Proseminar
|
|
|
110370
|
Proseminar: Simulation der Welt
-
Andris
,
Weickert
|
Proseminar
|
|
|
110385
|
Privacy by Design
-
Sorge
|
Proseminar
|
|
|
110535
|
Proseminar: BioinformaticTools in Microbiological Research
-
Keller
,
Galata
|
Proseminar
|
|
|
110536
|
Proseminar: Algorithms for Small Non-Coding RNA Discovery
-
Keller
,
Fehlmann
|
Proseminar
|
|
|
110537
|
Proseminar: Selected Topics in Systems Biology
-
Backes
,
Keller
|
Proseminar
|
|
|
110568
|
13 Wochen - 13 Blockchains
-
Dittrich
,
Schuhknecht
|
Proseminar
|
|
|
110726
|
Bits in Space
-
Hermanns
|
Proseminar
|
|
|
110823
|
AI for the Transfer of Control from Autonomous Systems to Humans
-
Schwartz
,
Daiber
,
Feld
|
Proseminar
|
|
kurz
